Predictive Threat Assessment via Reachability Analysis and Set Invariance Theory
نویسندگان
چکیده
منابع مشابه
Program Analysis via Graph Reachability
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are amenable to this treatment include program slicing, certain dataflow-analysis problems, and the problem of approximating the possible "shapes" that heap-allocated structures in a program can take on. Relationships betwee...
متن کاملReachability Analysis via Face Lifting
In this paper we discuss the problem of calculating the reach able states of a dynamical system de ned by ordinary di erential equa tions or inclusions We present a prototype system for approximating this set and demonstrate some experimental results
متن کاملA novel ranking method for intuitionistic fuzzy set based on information fusion and application to threat assessment
A novel ranking method based on multi-time information fusion is proposed for intuitionistic fuzzy sets (IFSs) and applied to the threat assessment problem, a multi-attribute decision making (MADM) one. This method integrates a designed intuitionistic fuzzy entropy (IFE), the closeness degree of technique for order preference by similarity to ideal solution (TOPSIS), the decision maker¡¯s (DM¡¯...
متن کاملStereotype threat and measurement invariance 1 Running head: STEREOTYPE THREAT AND MEASUREMENT INVARIANCE Stereotype Threat and Group Differences in Test Performance: A Question of Measurement Invariance
Studies into the effects of stereotype threat (ST) on test performance have shed new light on race and sex differences in achievement and intelligence test scores. This article relates ST theory to the psychometric concept of measurement invariance, and shows that ST effects may be viewed as a source of measurement bias. As such, ST effects are detectable by means of multi-group confirmatory fa...
متن کاملBenchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis
The field of numerical analysis has developed numerous benchmarks for evaluating differential and algebraic equation solvers. In this paper, we describe a set of benchmarks commonly used in numerical analysis that may also be effective for evaluating continuous and hybrid systems reachability and verification methods. Many of these examples are challenging and have highly nonlinear differential...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Intelligent Transportation Systems
سال: 2011
ISSN: 1524-9050
DOI: 10.1109/tits.2011.2158210